<!doctype html>
<html lang="">
  <script>
    const UrlPath = window.location.pathname
    const branch = UrlPath.split('/')[1]
    const url = 'https://jplag.github.io/' + branch + '/'
    location.replace(url)
  </script>
</html>
